$\forall$${\it es}$:event\_system\{i:l\}, $a$,$b$:es{-}E(${\it es}$). ($a$ = $b$) $\Rightarrow$ es{-}le(${\it es}$; $a$; $b$)